
 extern void flash_read(/* INPUT */long long addr, /* OUTPUT */long long *data);
